- alethic logic
__noun__the modal logic of necessity and possibility and contingency•__Hypernyms__: ↑modal logic

*Useful english dictionary.
2012.*

### Look at other dictionaries:

**Logic**— For other uses, see Logic (disambiguation). Philosophy … Wikipedia**Alethic mood**— Some languages distinguish between alethic moods and non alethic moods. Alethic moods indicate logical possibility, impossibility or necessity, whereas different moods are used to indicate other types of possibility/necessity. In such a language … Wikipedia**logic, history of**— Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium**Modal logic**— is a type of formal logic that extends classical propositional and predicate logic to include operators expressing modality. Modals words that express modalities qualify a statement. For example, the statement John is happy might be qualified by… … Wikipedia**applied logic**— Introduction the study of the practical art of right reasoning. The formalism (formal logic) and theoretical results of pure logic can be clothed with meanings derived from a variety of sources within philosophy as well as from other… … Universalium**Outline of logic**— The following outline is provided as an overview of and topical guide to logic: Logic – formal science of using reason, considered a branch of both philosophy and mathematics. Logic investigates and classifies the structure of statements and… … Wikipedia**Intensional logic**— embraces the logical study of intensional languages. While in extensional languages all of their functors are extensional (and that suffices in many formal languages developed for formalizing special fields in mathematics or science),… … Wikipedia**modal logic**— noun 1. the logical study of necessity and possibility • Hypernyms: ↑logic 2. a system of logic whose formal properties resemble certain moral and epistemological concepts • Hypernyms: ↑symbolic logic, ↑mathematical logic, ↑formal logic • … Useful english dictionary**Deontic logic**— is the field of logic that is concerned with obligation, permission, and related concepts. Alternatively, a deontic logic is a formal system that attempts to capture the essential logical features of these concepts. Typically, a deontic logic… … Wikipedia**Predicate functor logic**— In mathematical logic, predicate functor logic (PFL) is one of several ways to express first order logic (formerly known as predicate logic) by purely algebraic means, i.e., without quantified variables. PFL employs a small number of algebraic… … Wikipedia